<HTML><HEAD><TITLE>Dynamic Predicates</TITLE></HEAD><BODY>
[ <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]<H1>Dynamic Predicates</H1>
Built-ins to create and manipulate dynamic procedures
<H2>Predicates</H2>
<BLOCKQUOTE>
<DL>
<DT><A HREF="assert-1.html"><STRONG>assert(+Clause)</STRONG></A></DT>
<DD>Add specified clause at the end of the dynamic procedure to the database</DD>
<DT><A HREF="asserta-1.html"><STRONG>asserta(+Clause)</STRONG></A></DT>
<DD>Add specified clause for a dynamic procedure to the database before any existing clauses</DD>
<DT><A HREF="assertz-1.html"><STRONG>assertz(+Clause)</STRONG></A></DT>
<DD>Add specified clause at the end of the dynamic procedure to the database</DD>
<DT><A HREF="clause-1.html"><STRONG>clause(+Clause)</STRONG></A></DT>
<DD>Succeeds if Clause unifies with a clause of a dynamic procedure.

</DD>
<DT><A HREF="clause-2.html"><STRONG>clause(+Head, -Body)</STRONG></A></DT>
<DD>Succeeds if Head :- Body  is an existing dynamic clause.

</DD>
<DT><A HREF="dynamic-1.html"><STRONG>dynamic ++SpecList</STRONG></A></DT>
<DD>Declares the procedures specified by SpecList as dynamic.

</DD>
<DT><A HREF="is_dynamic-1.html"><STRONG>is_dynamic(++PredSpec)</STRONG></A></DT>
<DD>Succeeds if the procedure specified by PredSpec has been declared as
dynamic.

</DD>
<DT><A HREF="listing-0.html"><STRONG>listing</STRONG></A></DT>
<DD>Outputs the definition of all dynamic predicates in the database.

</DD>
<DT><A HREF="listing-1.html"><STRONG>listing ++SpecList</STRONG></A></DT>
<DD>Outputs the definition of all dynamic predicates indicated by SpecList.

</DD>
<DT><A HREF="retract-1.html"><STRONG>retract(+Clause)</STRONG></A></DT>
<DD>Succeeds if a clause that unifies with Clause can be removed from the
database.

</DD>
<DT><A HREF="retractall-1.html"><STRONG>retractall(+Head)</STRONG></A></DT>
<DD>Removes from the database all clauses whose heads match Head</DD>
</DL>
</BLOCKQUOTE>
<HR>Generated from dynamic.eci on 2009-05-27 01:25
</BODY></HTML>
